Resolution Strategies for Fuzzy Description Logic
نویسنده
چکیده
The paper presents experimental comparison of several resolution strategies for reasoning in Fuzzy Description Logic based on Fuzzy Predicate Logic with evaluated syntax. Resolutionbased reasoning is established on previous works concerning non-clausal resolution principle both theoretical and application-oriented (FPLGERDS inference engine).
منابع مشابه
Economic evaluation of strategies for energy consuming optimization with Fuzzy logic (The case study on Atisaz, Tehran)
One of the important energy consuming sectors of the country is buildings. In this research, we use the energy audit of the Atisaz complex in Tehran to evaluate the economic benefits of energy saving measures. We evaluate measures such as: using the automatic damper, replacing the active existing chiller with the solar absorption one, using intelligent boiler-room and replacing the existing li...
متن کاملA Comparative Study of the Neural Network, Fuzzy Logic, and Nero-fuzzy Systems in Seismic Reservoir Characterization: An Example from Arab (Surmeh) Reservoir as an Iranian Gas Field, Persian Gulf Basin
Intelligent reservoir characterization using seismic attributes and hydraulic flow units has a vital role in the description of oil and gas traps. The predicted model allows an accurate understanding of the reservoir quality, especially at the un-cored well location. This study was conducted in two major steps. In the first step, the survey compared different intelligent techniques to discover ...
متن کاملFuzzy-DL Reasoning over Unknown Fuzzy Degrees
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of this implementation is the ability to reason over assertions with abstract (unspecified) fuzzy degrees. The answer to queries is, consequently, an algebraic expression involving the (unknown) fuzzy degrees and the degree...
متن کاملNon-clausal Resolution Theorem Proving for Fuzzy Predicate Logic
The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality without the need of skolemization. Its idea follows from the general resolution with existentiality for the first-order logic. When the prover is constru...
متن کاملA Fuzzy Based Decision Support System For Supply Chain Disruption Management
Among the supply chain risk types, disruptions that result from natural disasters, sanctions, transportation problems and equipment failure can seriously disrupt or delay the flow of material, information and cash. The aim of this research was to propose a hybrid model for disruption management, which is the process of achieving plans or strategies to reduce the expenses incurred by the disrupt...
متن کامل